(and (eq nil (>= 0 1))
     (eq nil (<= 1 0)))
